ePMC

Benchmark
Model:haddad-monmege v.1 (DTMC)
Parameter(s)N = 100, p = 0.7
Property:target (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files haddad-monmege.pm --model-input-type prism --property-input-files haddad-monmege.prctl --property-input-names target --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=100,p=0.7
Execution
Walltime:1.0652172565460205s
Return code:1
Log
assertions-disabled
start-parsing
done-parsing
STDERR
line: 1, column: 3: Syntax error at "?"